Nuprl Definition : msg-rename 11,40
msg-rename(rtinv;m) == <m.1, outl(rtinv((m.2).1)), m.2.2> 
latex

Definitionst.2, t.1, outl(x)
FDL editor aliasesmsg-rename

origin